181. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده : Francesca Tarocco.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
182. Multi-Dimensional Modal Logic
پدیدآورنده : by Maarten Marx, Yde Venema.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
183. New Essays in Free Logic
پدیدآورنده : edited by Edgar Morscher, Alexander Hieke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic.,Philosophy (General).,Semantics.
184. On the cognitive, ethical, and scientific dimensions of artificial intelligence :
پدیدآورنده : Don Berkich, Matteo Vincenzo d'Alfonso, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence-- Moral and ethical aspects, Congresses.,Artificial intelligence, Congresses.,Artificial intelligence-- Moral and ethical aspects.,Artificial intelligence.,COMPUTERS-- General.
رده :
Q334
185. ; Oxford
پدیدآورنده : / Seumas Miller.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
187. Peirce for architects /
پدیدآورنده : Richard Coyne.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Peirce, Charles S., (Charles Sanders),1839-1914.,Peirce, Charles S., (Charles Sanders),1839-1914.,Architecture-- Philosophy.,ARCHITECTURE-- Criticism.,ARCHITECTURE-- General.,Architecture-- Philosophy.,ARCHITECTURE-- Study & Teaching.,PHILOSOPHY-- History & Surveys-- Modern.
رده :
B945
.
P44
188. Philosophical Logic and Artificial Intelligence
پدیدآورنده : edited by Richmond H. Thomason.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
189. Pictorial Essay,ایران اسلام رسپوبلیکاسی ایله آذربایجان رسپوبلیکاسی آراسیندا اقتصادی و سیاسی مناسیبتلر ۱۹۹۱-۱۹۹۷
پدیدآورنده : 20090215 00677nam1 22001692i 450 001000700000020002100007100004500028101000800073200016000081210014000241215000900381300004500390801003300435930001800468932000800486910001300494 608032 ,20090214 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
190. Pure inductive logic /
پدیدآورنده : Jeffrey Paris, University of Manchester, Alena Vencovská, University of Manchester
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Induction (Logic)
رده :
BC91
.
P37
2015
191. Quantifiers and cognition
پدیدآورنده : Jakub Szymani,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Grammar, Comparative and general, Quantifiers,Language and logic,Semantics
رده :
EBOOK
,
P
.
Q3
,.
S99
299
2016
192. Readings in Formal Epistemology
پدیدآورنده : edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
193. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
194. Reasoning with Actual and Potential Contradictions
پدیدآورنده : edited by Philippe Besnard, Anthony Hunter.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
رده :
Q375
.
E358
1998
196. The Logic of Time :
پدیدآورنده : by Johan Benthem.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
197. The Philosophy of Logical Mechanism :
پدیدآورنده : edited by Merrilee H. Salmon.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linguistics -- Philosophy.,Logic.,Philosophy (General)
رده :
B67
.
E358
1990
198. The Pleadings Game :
پدیدآورنده : by Thomas F. Gordon.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic.,Philosophy of law.
رده :
K213
.
B984
1995
199. The Semantics and Proof Theory of the Logic of Bunched Implications
پدیدآورنده : by David J. Pym.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic.,Philosophy (General).
200. <The> economic impacts of terrorist attacks /
پدیدآورنده : edited by Harry W. Richardson, Peter
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
